Resource Type

Journal Article 1709

Year

2024 4

2023 131

2022 157

2021 134

2020 142

2019 127

2018 100

2017 101

2016 74

2015 91

2014 59

2013 53

2012 41

2011 46

2010 52

2009 55

2008 66

2007 76

2006 48

2005 35

open ︾

Keywords

optimization 18

Machine learning 13

multi-objective optimization 10

genetic algorithm 9

neural network 9

Deep learning 7

Reinforcement learning 7

big data 7

different 7

fault diagnosis 5

sustainable development 5

topology optimization 5

Adsorption 4

Artificial intelligence 4

COVID-19 4

Neural network 4

algorithm 4

blockchain 4

compressive strength 4

open ︾

Search scope:

排序： Display mode:

Concepts and implementation of strain-based criteria in design codes for steel structures

Reidar BJORHOVDE

Frontiers of Structural and Civil Engineering 2012, Volume 6, Issue 3,   Pages 210-216 doi: 10.1007/s11709-012-0165-7

Abstract: If stresses or forces are needed, these are easily determined by the value of the strain and the relevant

Keywords： steel     stress-strain characteristics     tension test     strain design     actual behavior     improved design codes    

HTML PDF Collect

Parametric study on damage control design of SMA dampers in frame-typed steel piers

Xiaoqun LUO, Hanbin GE, Tsutomu USAMI,

Frontiers of Structural and Civil Engineering 2009, Volume 3, Issue 4,   Pages 384-394 doi: 10.1007/s11709-009-0065-7

Abstract: A parametric study based on time history analyses is carried out on frame-typed bridge piers with axial-typeSeismic performance indexes on displacement and strain are investigated under three JRA recommended Level

Keywords： damage control design     shape memory alloy     parameter study     displacement-based verification     strain-basedverification     time history analysis    

HTML PDF Collect

Test-driven verification/validation of model transformations

László LENGYEL,Hassan CHARAF

Frontiers of Information Technology & Electronic Engineering 2015, Volume 16, Issue 2,   Pages 85-97 doi: 10.1631/FITEE.1400111

Abstract: In this way, verification/validation methods can guarantee different requirements stated by the actualmodel transformation verified/validated, discusses the different scenarios of model transformation verificationFurthermore, we collect and discuss the actual open issues in the field of verification/validation of

Keywords： Graph rewriting based model transformations     Verification/validation     Test-driven verification    

HTML PDF Collect

High grade line pipe and high pressure transportation: significant progress of oil & gas transportation pipeline technology in China

Li Helin,Ji Lingkang,Tian Wei

Strategic Study of CAE 2010, Volume 12, Issue 5,   Pages 84-90

Abstract: predict the toughness requirement for the 1st and the 2nd West-east Gas Pipelines, investigation of strain-baseddesign for oil & gas pipeline, which solves problems of the methodology and high strain pipe applicationin seismic and active faults areas, investigations to control the corrosion and strain aging of high

Keywords： oil & gas pipeline     grade pipeline steel     helical submerge-arc welded pipe     crack-arrest toughness     strain-based    

HTML PDF Collect

FEM-based strain analysis study for multilayer sheet forming process

Rongjing ZHANG,Lihui LANG,Rizwan ZAFAR

Frontiers of Mechanical Engineering 2015, Volume 10, Issue 4,   Pages 373-379 doi: 10.1007/s11465-015-0371-9

Abstract: To further explore the novel method, this study conducts a finite element method-based (FEM-based) strain

Keywords： finite element method (FEM)     strain analysis     multilayer sheet forming    

HTML PDF Collect

Multiple damage detection in complex bridges based on strain energy extracted from single point measurement

Alireza ARABHA NAJAFABADI, Farhad DANESHJOO, Hamid Reza AHMADI

Frontiers of Structural and Civil Engineering 2020, Volume 14, Issue 3,   Pages 722-730 doi: 10.1007/s11709-020-0624-5

Abstract: Strain Energy of the structure can be changed with the damage at the damage location.The use of modal-based methods to identify damage in complex bridges is always associated with problemsThen two damage detection indicators were developed based on strain energy variations.Indicators of the strain energy extracted from displacement influence line and the strain energy extracted

Keywords： damage detection     strain energy     influence line     complex bridges     rotation displacement    

HTML PDF Collect

Expert networks as science-policy interlocutors in the implementation of a monitoring reporting and verification

Remi CHANDRAN, Tsuyoshi FUJITA, Minoru FUJII, Shuichi ASHINA, Kei GOMI, Rizaldi BOER, Muhammad ARDIANSYAH, Seiya MAKI

Frontiers in Energy 2018, Volume 12, Issue 3,   Pages 376-388 doi: 10.1007/s11708-018-0559-x

Abstract: This calls for the development of a measurement, reporting and verification (MRV) system and a Capacity-building

Keywords： MRV     CBIT     UNFCCC     Indonesia     Japan     ICT based monitoring     climate policy    

HTML PDF Collect

Man-machine verification of mouse trajectory based on the random forestmodel Research Articles

Zhen-yi XU, Yu KANG, Yang CAO, Yu-xiao YANG

Frontiers of Information Technology & Electronic Engineering 2019, Volume 20, Issue 7,   Pages 925-929 doi: 10.1631/FITEE.1700442

Abstract:

Identifying code has been widely used in man-machine verification to maintain network security.The challenge in engaging man-machine verification involves the correct classification of man and machineIn this study, we propose a random forest (RF) model for man-machine verification based on the mousealso compare the RF model with the baseline models (logistic regression and support vector machine) based

Keywords： Man-machine verification     Random forest     Support vector machine     Logistic regression     Performance metrics    

HTML PDF Collect

A quality requirements model and verification approach for system of systems based on description logic Article

Qing-long WANG,Zhi-xue WANG,Ting-ting ZHANG,Wei-xing ZHU

Frontiers of Information Technology & Electronic Engineering 2017, Volume 18, Issue 3,   Pages 346-361 doi: 10.1631/FITEE.1500309

Abstract: One of the key issues is to model the SoS requirements and automate the verification procedure.To solve the problem of modeling and verification, meta-models are proposed to refine both functionalconcise algorithm transforms the fuzzy UML models into the description logic (DL) ontology so that the verificationThis method implements modeling and verification of high-level SoS quality requirements.

Keywords： System of systems (SoS)     Cloud model     Description logic (DL)     Requirements verification    

HTML PDF Collect

Adaptive selective ES-FEM limit analysis of cracked plane-strain structures

H. NGUYEN-XUAN,T. RABCZUK

Frontiers of Structural and Civil Engineering 2015, Volume 9, Issue 4,   Pages 478-490 doi: 10.1007/s11709-015-0317-7

Abstract: paper presents a simple and efficient approach for predicting the plastic limit loads in cracked plane-strainThe master level handles an adaptive primal-mesh process through a dissipation-based indicator.Applying a strain smoothing projection to the strain rates on the dual mesh, the incompressibility constraintand the flow rule constraint are imposed over the edge-based smoothing domains and everywhere in the

Keywords： cracked structure     limit analysis     von Mises criterion     edge-based strain smoothing     second-order cone programming    

HTML PDF Collect

A new score normalizaion algorithm based on EMD-Tnorm for speaker verification

Li Yanping,Ding Hui,Tang Zhenmin

Strategic Study of CAE 2010, Volume 12, Issue 2,   Pages 95-100

Abstract:

In this paper, the verification system from two aspects was improved.remove the disturbance of noise; on the other hand, we improved the Tnorm score normalization method based

Keywords： speaker verification     robustness     earth mover’s distance     MixMax model    

HTML PDF Collect

Semantic Consistency and Correctness Verification of Digital Traffic Rules

Lei Wan,Changjun Wang,Daxin Luo,Hang Liu,Sha Ma,Weichao Hu,

Engineering doi: 10.1016/j.eng.2023.04.016

Abstract: In response, we propose a method of formal verification that combines equivalence verification with modeldigital traffic rules can be obtained by utilizing the proposed traffic rule digitization flow and verification

Keywords： Autonomous driving     Traffic rules     Digitization     Formalization     Verification    

HTML PDF Collect

Availability growth models and verification of power equipment

Jinyuan SHI, Jiamin XU

Frontiers in Energy 2021, Volume 15, Issue 2,   Pages 529-538 doi: 10.1007/s11708-019-0624-0

Abstract: power station auxiliaries, and transmission and distribution installations are given together with verificationThe verification results for operation availability data show that the maintenance coefficients for electric

Keywords： repairable system     power equipment     electric generating unit     power station auxiliary     transmission and distribution installation     reliability     availability     availability growth model    

HTML PDF Collect

Modelling and experimental verification on concrete-filled steel tubular columns with L or T section

LU Xilin, LI Xueping, WANG Dan

Frontiers of Structural and Civil Engineering 2007, Volume 1, Issue 2,   Pages 163-169 doi: 10.1007/s11709-007-0017-z

Abstract: According to the confining mechanism, the stress-strain constitutive model was put forward, and calculated

Keywords： hysteretic     confining mechanism     Concrete-filled     in-filled     composite    

HTML PDF Collect

Establishment and verification of a shrinking core model for dilute acid hydrolysis of lignocellulose

Cunwen WANG, Xiaoling DUAN, Weiguo WANG, Zihao LI, Yuanhang QIN

Frontiers in Energy 2012, Volume 6, Issue 4,   Pages 413-419 doi: 10.1007/s11708-012-0212-z

Abstract: The kinetics of lignocellulose hydrolysis under the conditions of high temperature and dilute acid (mass fraction 0.05%) was investigated in this paper. By studying the reducing sugar concentration versus reaction temperature (170°C–220°C) and reaction time (150–1800 s) during the hydrolysis process of five kinds of crop straw (rice, wheat, cotton, rape and corn), the shrinking core model was established, and the differential equation of the model and its analytical solution were obtained. With a numerical calculation method, the kinetic equation was estimated, and the degradation of reducing sugar obeyed first-order kinetics was obtained. The calculated results from the equations agreed well with the original experimental data. The calculation by the model showed that the reducing sugar concentration increases as the size of the particles decrease, and the uniform particles increase.

Keywords： lignocellulose     dilute acid hydrolysis     shrinking core model    

HTML PDF Collect

Title Author Date Type Operation

Concepts and implementation of strain-based criteria in design codes for steel structures

Reidar BJORHOVDE

Journal Article

Parametric study on damage control design of SMA dampers in frame-typed steel piers

Xiaoqun LUO, Hanbin GE, Tsutomu USAMI,

Journal Article

Test-driven verification/validation of model transformations

László LENGYEL,Hassan CHARAF

Journal Article

High grade line pipe and high pressure transportation: significant progress of oil & gas transportation pipeline technology in China

Li Helin,Ji Lingkang,Tian Wei

Journal Article

FEM-based strain analysis study for multilayer sheet forming process

Rongjing ZHANG,Lihui LANG,Rizwan ZAFAR

Journal Article

Multiple damage detection in complex bridges based on strain energy extracted from single point measurement

Alireza ARABHA NAJAFABADI, Farhad DANESHJOO, Hamid Reza AHMADI

Journal Article

Expert networks as science-policy interlocutors in the implementation of a monitoring reporting and verification

Remi CHANDRAN, Tsuyoshi FUJITA, Minoru FUJII, Shuichi ASHINA, Kei GOMI, Rizaldi BOER, Muhammad ARDIANSYAH, Seiya MAKI

Journal Article

Man-machine verification of mouse trajectory based on the random forestmodel

Zhen-yi XU, Yu KANG, Yang CAO, Yu-xiao YANG

Journal Article

A quality requirements model and verification approach for system of systems based on description logic

Qing-long WANG,Zhi-xue WANG,Ting-ting ZHANG,Wei-xing ZHU

Journal Article

Adaptive selective ES-FEM limit analysis of cracked plane-strain structures

H. NGUYEN-XUAN,T. RABCZUK

Journal Article

A new score normalizaion algorithm based on EMD-Tnorm for speaker verification

Li Yanping,Ding Hui,Tang Zhenmin

Journal Article

Semantic Consistency and Correctness Verification of Digital Traffic Rules

Lei Wan,Changjun Wang,Daxin Luo,Hang Liu,Sha Ma,Weichao Hu,

Journal Article

Availability growth models and verification of power equipment

Jinyuan SHI, Jiamin XU

Journal Article

Modelling and experimental verification on concrete-filled steel tubular columns with L or T section

LU Xilin, LI Xueping, WANG Dan

Journal Article

Establishment and verification of a shrinking core model for dilute acid hydrolysis of lignocellulose

Cunwen WANG, Xiaoling DUAN, Weiguo WANG, Zihao LI, Yuanhang QIN

Journal Article